منابع مشابه
Revision Programming
In this paper we introduce revision programming — a logic-based framework for describing constraints on databases and providing a computational mechanism to enforce them. Revision programming captures those constraints that can be stated in terms of the membership (presence or absence) of items (records) in a database. Each such constraint is represented by a revision rule α ← α1, . . . , αk, w...
متن کاملRevision programming = logic programming + constraints
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justified revision based on a revision program. We show that revisions can be shifted, that is for any program P , for any pair of initial databases I and I ′ we can shift the program P to program P ′ so that the size of the resulting program does not ...
متن کاملRevision programming = logic programming + integrity
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justiied revision based on a revision program. We show that for any program P and for any pair of initial databases I and I 0 we can transform (shift) the program P to a program P 0 so that the size of the resulting program does not increase and so tha...
متن کاملIterative Belief Revision in Extended Logic Programming
Extended logic programming augments conventional logic programming with both default and explicit negation. Several semantics for extended logic programs have been proposed that extend the well-founded semantics for logic programs with default negation (called normal programs). We show that two of these extended semantics are intractable; both Dung's grounded argumentation semantics and the wel...
متن کاملActive integrity constraints and revision programming
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to enforce them. Unlike other more commonly accepted approaches, these two formalisms attempt to provide a declarative solution to the problem. However, the original semantics of founded repairs for active integrity cons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1998
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)00092-3